Section: Dissemination

Teaching - Supervision - Juries

• Master: Xavier Leroy and Didier Rémy, “Functional programming languages”, 45h, M2 (MPRI), Université Paris Diderot, France.

• Master: Luc Maranget, “Semantics, languages and algorithms for multi-core programming”, 13.5h, M2 (MPRI), Université Paris Diderot, France.

• Licence: François Pottier, “Programmation avancée” (INF441), 20h, L3, École Polytechnique, France.

• Master: François Pottier, “Compilation” (INF564), 20h, M1, École Polytechnique, France.

• Master: François Pottier, “Programming with permissions in Mezzo”, 4.5h, M2, 15th SFM summer school, Bertinoro, Italy.

• Licence: Mike Rainey and Umut Acar, “Theory and practice of parallel computing” (part of a longer course entitled 15-210, “Parallel and Sequential Data Structures and Algorithms”), 9h, L3, Carnegie Mellon University, USA.

• M2 (Master Pro): Keryan Didier, Université Denis Diderot, supervised by Luc Maranget.

• M2 (MPRI): Benjamin Farinier, Université Paris Diderot, supervised by François Pottier.

• M2 (MPRI): Armaël Guéneau, ENS Lyon, supervised by Arthur Charguéraud and François Pottier.

• PhD in progress: Vitalii Aksenov, “Parallel Dynamic Algorithms”, Université Paris Diderot, since September 2015, supervised by Umut Acar (co-advised with Anatoly Shalyto, ITMO University of Saint Petersburg, Russia).

• PhD in progress: Jacques-Henri Jourdan, “Verasco: a formally verified C static analyzer”, Université Paris Diderot, since September 2012, supervised by Xavier Leroy.

• PhD in progress: Gabriel Scherer, “Which types have a unique inhabitant?”, Université Paris Diderot, since October 2011, supervised by Didier Rémy.

• PhD in progress: Thomas Williams, “Putting Ornaments into practice”, Université Paris Diderot, since September 2014, supervised by Didier Rémy.